2581. Type logical grammar :
Author: by Glyn V. Morrill.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Categorial grammar.,Semantics (Philosophy),Type theory.
Classification :
P161
.
B945
1994
2582. Type theory and formal proof :
Author: Rob Nederpelt, Eindhoven University of Technology, the Netherlands, Herman Geuvers, Radbound University Nijmegen, and Eindhoven University of Technology, the Netherlands
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Type theory
Classification :
QA9
.
N37
2014
2583. Typed Lambda Calculi and Applications :
Author: edited by Marc Bezem, Jan Friso Groote.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Logic, Symbolic and mathematical.
2584. Typed Lambda Calculi and Applications :
Author: edited by Masahito Hasegawa.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra -- Data processing.,Computer science.,Logic design.
Classification :
QA9
.
5
E358
2013
2585. Typed Lambda Calculi and Applications :
Author: edited by Mariangiola Dezani-Ciancaglini, Gordon Plotkin.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Lambda calculus -- Congresses.,Logic design.
Classification :
QA9
.
5
E358
1995
2586. Types for proofs and programs : International Workshop TYPES'96, Aussois, France, December 15-19, 1996 : selected papers
Author: Eduardo Gimenez, Christine Paulin-Mohring )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer logic,Congresses ، Type theory
Classification :
QA
76
.
L28
Vol
.
1512
2587. Ubiquitous communications and network computing :
Author: Navin Kumar, R. Venkatesha Prasad (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks, Congresses.,Computer science, Congresses.,Internet of things, Congresses.,Computer networks.,Computer science.,Internet of things.
Classification :
TK5105
.
5
2588. Uncertainty Analysis in Engineering and Sciences: Fuzzy Logic, Statistics, and Neural Network Approach
Author: by Bilal M. Ayyub, Madan M. Gupta.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.,Mathematical optimization.,Operations research.
2589. Uncertainty Management in Information Systems :
Author: edited by Amihai Motro, Philippe Smets.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Text processing (Computer science)
Classification :
QA76
.
9
.
D3
E358
1997
2590. Uncertainty Theory
Author: by Baoding Liu.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Distribution (Probability theory).,Engineering.,Operations research.
2591. Uncertainty analysis in engineering and sciences: fuzzy logic, statistics and neural network approach
Author: Ayyub, Bilal
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Engineering- Statistical methods,، Uncertainty- Mathematical models,، Reliability )Engineering(,، Fuzzy logic,، Neural network )Computer science(
Classification :
TA
340
.
A99
1998
2592. Uncertainty analysis in engineering and sciences : fuzzy logic, statistics, and neural network approach
Author: / Bilal M. Ayyub, Madan M. Gupta
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Engineering - Statistical methods,Uncertainty - Mathematical models,Reliability (Engineering),Fuzzy logic,Neural networks (Computer science)
Classification :
TA340
.
A992
1998
2593. Uncertainty analysis in engineering and sciences : fuzzy logic, statistics, and neural network approach
Author: Ayyub, Bilal M.
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Engineering - Statistical methods , Uncertainty - Mathematical models , Reliability )Engineering( , Fuzzy logic , Neural networks )Computer science(
Classification :
TA
340
.
A992
1998
2594. Uncertainty and intelligent information systems /
Author: editors, Bernadette Bouchon-Meunier [and others].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Expert systems (Computer science), Congresses.,Uncertainty (Information theory), Congresses.,COMPUTERS-- Expert Systems.,Expert systems (Computer science),Expertensystem,Kongress,Uncertainty (Information theory),Unsicherheit
Classification :
QA76
.
76
.
E95
I575
2006eb
2595. Uncertainty treatment using paraconsistent logic
Author: Joao Inacio da Silva Filho, Germano Lambert-Torres and Jair Minoro Abe
Library: Central Library of Ahvaz Faculty of Petroleum (Khuzestan)
Subject: Neural networks (Computer science),Uncertainty (Information theory),Logic programming,Inconsistency (Logic),Artificial intelligence
Classification :
QA
,
76
.
87
,.
S57
,
2010
2596. Uncertainty treatment using paraconsistent logic: introducing paraconsistent artificial neural networks
Author: Silva Filho, Joao Inacio da.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Neural networks )Computer science(,، Uncertainty )Information theory(,، Logic programming,، Inconsistency )Logic(,، Artificial intelligence
Classification :
QA
76
.
87
.
S57
2010
2597. Understanding and interpreting machine learning in medical image computing applications :
Author: Danail Stoyanov, Zeike Taylor, Seyed Mostafa Kia, Ipek Oguz, Mauricio Reyes et al. (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer-assisted surgery, Congresses.,Diagnostic imaging-- Data processing, Congresses.,Image Interpretation, Computer-Assisted.,Artificial intelligence.,Computer-assisted surgery.,Computers-- Computer Graphics.,Computers-- Computer Science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Diagnostic imaging-- Data processing.,Health & safety aspects of IT.,Image processing.,Life sciences: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Medical-- General.
Classification :
RC78
.
7
.
D53
I58
2018
2598. Understanding logic locking
Author: / Kimia Zamiri Azar...[et al.]
Library: Library of College of Science University of Tehran (Tehran)
Subject: Computer security,a04
2599. Understanding neural networks and fuzzy logic: basic concepts and applications
Author: Kartalopoulos, Stamatios V.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Neural networks )Computer science(,، Fuzzy systems
Classification :
QA
76
.
87
.
K38
1996
2600. Understanding neural networks and fuzzy logic : basic concepts and applications
Author: Kartalopoulos, Stamatios V.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Neural networks )Computer science(,، Fuzzy systems
Classification :
QA
76
.
87
.
K38
1996
